Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
411	Microsoft PowerPoint - fml Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2006-04-17 16:34:13 Differential topology Embedding General topology Order theory Distortion Mathematical analysis Mathematics Category theory
412	Elimination Principles for Initial Dialgebras Fredrik Nordvall Forsberg Swansea University, UK CALCO-Jnr, Winchester Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:44:00 Algebra Functor Initial algebra Adjoint functors F-algebra Abstract algebra Category theory Mathematics
413	PDF Document Add to Reading List Source URL: www.unibuc.ro Language: English - Date: 2011-06-27 08:52:23 Hopf algebras Category theory F-coalgebra Braided Hopf algebra Quasi-Hopf algebra Connection Nicolae Popescu Differential topology Abstract algebra Algebra Mathematics
414	Metabolic, Replication and Genomic Category of Systems in Biology, Bioinformatics and Medicine Add to Reading List Source URL: precedings.nature.com Language: English Mathematical and theoretical biology Bioinformatics Interdisciplinary fields Robert Rosen Systems biology Society for Mathematical Biology Automata theory Biophysics Systems theory Science Biology Knowledge
415	Introduction Solution Applications Conclusion Coalgebraic Semantics of Recursion on Circular Data Structures Baltasar Trancón y Widemann (Technische Universität Berlin) Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:28:53 Programming idioms Theoretical computer science Category theory Computability theory F-coalgebra Recursion Pointer C Computer programming Computing Software engineering
416	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Containment in Rule-Based Models C. D. Thompson-Walsh, J. Hayman1 , G. Wi Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-12-03 12:24:53 Morphisms Category theory Category Natural transformation Dual Homomorphism Structure Sheaf Zero morphism Abstract algebra Mathematics Algebra
417	Proceedings of the ESSLLI 2014 Student Session 26th European Summer School in Logic, Language & Information August 11–22, 2014, Tübingen, Germany Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2014-08-26 09:50:28 Monoidal categories Quantum mechanics Dagger categories Non-classical logic Categorical quantum mechanics Quantum logic Logic Modal logic David Hilbert Category theory Mathematics Algebra
418	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-11 16:56:14 Recursion Theoretical computer science Category theory Functional programming Higher-order functions Corecursion Fold Coinduction Map Software engineering Computer programming Declarative programming
419	Joseph MuscatObjects and Morphisms 1 Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2013-12-17 09:47:28 Morphisms Functors Epimorphism Category Natural transformation Subcategory Equivalence of categories Zero morphism Coproduct Category theory Abstract algebra Mathematics
420	HOMOLOGICAL ALGEBRA Contents 1. Introduction 2. Basic notions 3. Preadditive and additive categories Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-22 10:42:28 Homological algebra Additive categories Isomorphism theorems Snake lemma Exact sequence Epimorphism Cokernel Abelian category Image Abstract algebra Category theory Mathematics

UPDATE